退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:利用有界权限验证静态和动态屏障同步
Duy-khanh Le; Wei-ngan Chin; Yong-meng Teo;
机译:静态有界区域可串行化的混合静态-动态分析
机译:迷宫式密封件的静态不稳定特性:实验和计算流体动力学验证
机译:使用有限权限验证静态和动态屏障同步
机译:通过部分证明组合对象导向软件的静态和动态验证
机译:不断发展的血脑屏障(BBB)概念:从单个静态屏障到异构动态中继中心
机译:通过静态验证动态检查来强制执行资源限制
机译:动态切换静态绑定的函数调用到动态绑定的函数调用,而无需重新复杂化
机译:将静态绑定函数调用动态转换为动态绑定函数调用而无需重新编译
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。